After having defined the KARO logic for specifying intelligent agents in earlier work we now turn to the question how to realise agents specified in the KARO framework. To this end we look at agent programming languages that we have defined, and investigate how programs in these languages can be linked to the KARO logic.

C I Lewis showed up Down Under in 2005, in e-mails initiated by Allen Hazen of Melbourne. Their topic was the system Hazen called FL (a Funny Logic), axiomatized in passing in Lewis 1921. I show that FL is the system MEN of material equivalence with negation. But negation plays no special role in MEN. Symbolizing equivalence with → and defining ∼A inferentially as A→f, the theorems of MEN are just those of the underlying theory ME of pure material equivalence. (...) This accords with the treatment of negation in the Abelian l-group logic A of Meyer and Slaney (Abelian logic. Abstract, Journal of Symbolic Logic 46, 425–426, 1981), which also defines ∼A inferentially with no special conditions on f. The paper then concentrates on the pure implicational part AI of A, the simple logic of Abelian groups. The integers Z were known to be characteristic for AI, with every non-theorem B refutable mod some Zn for finite n. Noted here is that AI is pre-tabular, having the Scroggs property that every proper extension SI of AI, closed under substitution and detachment, has some finite Zn as its characteristic matrix. In particular FL is the extension for which n = 2 (Lewis, The structure of logic and its relation to other systems. The Journal of Philosophy 18, 505–516, 1921; Meyer and Slaney, Abelian logic. Abstract. Journal of Symbolic Logic 46, 425–426, 1981; This is an abstract of the much longer paper finally published in 1989 in G. G. Priest, R. Routley and J. Norman, eds., Paraconsistent logic: essays on the inconsistent, Philosophica Verlag, Munich, pp. 245–288, 1989). (shrink)

Sentential constants have been part of the R environment since Church [1]. They have had diverse uses in explicating relevant ideas and in sim- plifying them technically. Of most interest have been the Ackermann pair of constants t; f, functioning conceptually as a least truth, and as a greatest , under the ordering of propositions under true impli- cation. Also interesting have been the Church constants F; T, functioning similarly as least greatest propositions.

The title of this and proposed second volume presents the basic idea which unifies the wide variety of topics developed and investigated by the principal authors, major contributing authors, J. M. Dunn and Robert K. Meyer, and eleven other contributors. The other contributors are: J. R. Chidgey, J. A. Coffa, Dorthy L. Grover, Bas van Fraassen, H. Leblanc, Storrs McCall, A. Parks, G. Pottinger, R. Routley, A. Urquhart, and R. G. Wolf. From both the useful analytic table of contents (...) and from the section titles it is clear which contributing author has written each section. Chapter I, "The Pure Calculus of Entailment," suggests how logics of entailment are logics of relevance and necessity. When we explain why a large number of systems are investigated, it will be clear why we write of logics of entailment instead of the logic of entailment. The principal authors build a case in Chapter I, and elsewhere, that a genuinely valid formal inference, viz., a formal entailment, from a formula A to a formula B requires that A be relevant to B in addition to it being impossible that there be an interpretation making A true and B false. So, a claim that A entails B tells us, explicitly or implicitly, that A is relevant to B and that "if A then B" is necessarily true, i.e., A strictly implies B. Consequently since a logic of entailment presents allegedly unfalsifiable claims, i.e., theses, using entailment claims, a logic of entailment presents theses about relevance between antecedents and consequents and necessity. It should be noted that the systems of logic developed are for formal entailments; they may not be logics for material entailments such as: being a cube entails having six surfaces. (shrink)

In this essay I call attention to the fact that there is a work of art in Heidegger’s “The Origin of the Work of Art,” and yet almost no one talks about it: the C. F. Meyer poem “Roman Fountain.” This critical silence is all the more ironic, since (1) it is a self-sufficient artwork, and not just described or mentioned in the text; and (2) the poem’s fountain, as man-made spring, seems to speak to—if not speak of—Heidegger’s thesis (...) concerning the Ur-sprung of the artwork itself. I argue that the poem illuminates a central problem or question concerning the status of art as mimesis, and I suggest that the reason why this poem tends to be overlooked amid the “obsessive” critical attention that it otherwise attracts can be found within the essay itself. (shrink)

Essays that put noted political thinkers of the past—including Plato, Machiavelli, Hobbes, Wollstonecraft, Marx, and Confucius—in dialogue with current environmental political theory. Contemporary environmental political theory considers the implications of the environmental crisis for such political concepts as rights, citizenship, justice, democracy, the state, race, class, and gender. As the field has matured, scholars have begun to explore connections between Green Theory and such canonical political thinkers as Plato, Machiavelli, Locke, and Marx. The essays in this volume put important figures (...) from the political theory canon in dialogue with current environmental political theory. It is the first comprehensive volume to bring the insights of Green Theory to bear in reinterpreting these canonical theorists. Individual essays cover such classical figures in Western thought as Aristotle, Hume, Rousseau, Mill, and Burke, but they also depart from the traditional canon to consider Mary Wollstonecraft, W. E. B. Du Bois, Hannah Arendt, and Confucius. Engaging and accessible, the essays also offer original and innovative interpretations that often challenge standard readings of these thinkers. In examining and explicating how these great thinkers of the past viewed the natural world and our relationship with nature, the essays also illuminate our current environmental predicament. Essays on Plato • Aristotle • Niccolò Machiavelli • Thomas Hobbes • John Locke • David Hume • Jean-Jacques Rousseau • Edmund Burke • Mary Wollstonecraft • John Stuart Mill • Karl Marx • W. E. B. Du Bois • Martin Heidegger • Hannah Arendt • Confucius Contributors Sheryl D. Breen, W. Scott Cameron, Peter F. Cannavò, Joel Jay Kassiola, Joseph H. Lane Jr. Timothy W. Luke, John M. Meyer, Özgüç Orhan, Barbara K. Seeber, Francisco Seijo, Kimberly K. Smith, Piers H. G. Stephens, Zev Trachtenberg, Andrew Valls, Harlan Wilson. (shrink)

Hand function improvement in stroke survivors in the chronic stage usually plateaus by 6 months. Brain-computer interface (BCI)-guided robot-assisted training has been shown to be effective for facilitating upper-limb motor function recovery in chronic stroke. However, the underlying neuroplasticity change is not well understood. This study aimed to investigate the whole-brain neuroplasticity changes after 20-session BCI-guided robot hand training, and whether the changes could be maintained at the 6-month follow-up. Therefore, the clinical improvement and the neurological changes before, immediately after, (...) and 6 months after training were explored in 14 chronic stroke subjects. The upper-limb motor function was assessed by Action Research Arm Test (ARAT) and Fugl-Meyer Assessment for Upper-Limb (FMA), and the neurological changes were assessed using resting-state functional magnetic resonance imaging. Repeated-measure ANOVAs indicated that long-term motor improvement was found by both FMA (F[2,26]= 6.367,p= 0.006) and ARAT (F[2,26]= 7.230,p= 0.003). Seed-based functional connectivity analysis exhibited that significantly modulated FC was observed between ipsilesional motor regions (primary motor cortex and supplementary motor area) and contralesional areas (supplementary motor area, premotor cortex, and superior parietal lobule), and the effects were sustained after 6 months. The fALFF analysis showed that local neuronal activities significantly increased in central, frontal and parietal regions, and the effects were also sustained after 6 months. Consistent results in FC and fALFF analyses demonstrated the increase of neural activities in sensorimotor and fronto-parietal regions, which were highly involved in the BCI-guided training.Clinical Trial Registration:This study has been registered atClinicalTrials.govwith clinical trial registration number NCT02323061. (shrink)

We present a solution to the paradox of free choice permission by introducing strong and weak permission in a deontic logic of action. It is shown how counterintuitive consequences of strong permission can be avoided by limiting the contexts in which an action can be performed. This is done by introducing the only operator, which allows us to say that only is performed (and nothing else), and by introducing contextual interpretation of action terms.

Level statistics and nodal point distribution in a rectangular semiconductor quantum dot are studied for different degrees of spin-orbit coupling. The chaotic features occurring from the spin-orbit coupling have no classical counterpart. Using experimental values for GaSb/InAs/GaSb semiconductor quantum wells we find that level repulsion can lead to the semi-Poisson distribution for nearest level separations. Nodal lines and nodal points are also investigated. Comparison is made with nodal point distributions for fully chaotic states.

The average male–female performance difference in the three sports of track athletics, swimming and time trial cycling are examined between the years 1948 and 1976. During this period females have gradually come to participate in a much larger number of events, particularly those of longer duration. In each of these three sports, women's performances in relation to men's have more or less continuously improved and it appears that if the changes between 1948 and 1976 are maintained, average female performance will (...) equal that of males for all events currently competed in by both sexes in these sports at some time during the next century. Estimates as to when, precisely, this will occur vary somewhat according to the basis on which the calculations are made. The other main change evident during these years is that in all three sports women's performances relative to men's for events of long duration have become as good or better than their relative performance at events of short duration. (shrink)

Open peer commentary on the article “Elementary Students’ Construction of Geometric Transformation Reasoning in a Dynamic Animation Environment” by Alan Maloney. Upshot: Parnorkou and Maloney describe how a dynamic animation environment, Graphs ’n Glyphs, supported fourth-grade students’ understandings of translations and rotations. Two elements were critical in their teaching experiment: the design of the software and tasks. This commentary focuses on the decisions that they made and possible implications they had for students’ reasoning.

abstract This note argues that the second line of the oracle in Apuleius’ Cupid and Psyche (Met. 4.33.1) alludes to Ovid’s Am. 1.1.2. Like its Ovidian model, Apuleius’ line marks a shift in genre, and offers a further hint of the role Cupid will play in the rest of the story.

Apollodorus' Bibliotheca is often used, though little studied. Like any author, however, Apollodorus has his own aims. As scholars have noticed, he does not include any discussion of Rome and rarely mentions Italy, an absence they link to tendencies of the Second Sophistic, during which period he was writing. I refine this view by exploring the nature of Apollodorus' project as a whole, showing that he creates a system of genealogies that connects Greece with other places and peoples of the (...) ancient world, specifically the Near East. The nature of the Bibliotheca allows us to see these myths as a closed system, in which these genealogical connections depend upon the perceived importance of these peoples; e.g. the Persians have more connections with the Greeks than the Molossians do. It is from this system that Apollodorus excludes Rome, thereby denying the Romans any genealogical connections with the Greeks and thus marking them as being of little importance. The consciousness of Apollodorus' decisions is clear from the many opportunities he had to include Rome and the fact that his sources contained myths about Rome or Italy. The Bibliotheca is a tendentious account of Greek myth with its own goals, and our knowledge of Apollodorus' aims must condition any use of this text. (shrink)

This paper builds on existing scholarship concerning Vergil's Diomedes and his relationship to Aeneas in two ways: first, by stressing that the character of Diomedes presented a problem for Vergil, not just because he wounded Aeneas, Aphrodite, and Ares in Iliad 5, but also because he came to be an important figure in Italian myth; second, by focusing on numerous passages previously ignored in this context, including ones in which Diomedes significantly does not appear. In these ways, I hope to (...) show just how elaborate, and important, a process Vergil's rewriting of Diomedes is. (shrink)

The analysis of genetic and epigenetic mechanisms of the genotype–phenotypic connection has, so far, only been possible in a handful of genetic model systems. Recent technological advances, including next‐generation sequencing methods such as RNA‐seq, ChIP‐seq and RAD‐seq, and genome‐editing approaches including CRISPR‐Cas, now permit to address these fundamental questions of biology also in organisms that have been studied in their natural habitats. We provide an overview of the benefits and drawbacks of these novel techniques and experimental approaches that can now (...) be applied to ecological and evolutionary vertebrate models such as sticklebacks and cichlid fish. We can anticipate that these new methods will increase the understanding of the genetic and epigenetic factors influencing adaptations and phenotypic variation in ecological settings. These new arrows in the methodological quiver of ecologist will drastically increase the understanding of the genetic basis of adaptive traits – leading to a further closing of the genotype–phenotype gap. -/- . (shrink)

laudationem ferculum est insecutum plane non pro expectatione magnum: novitas tamen omnium convertit oculos. rotundum enim repositoriurr duodecim habebat signa in orbe disposita, super quae proprium convenien. temque materiae structor imposuerat cibum: super arietem cicer arietinum, super taurum bubulae frustum, super geminos testiculos ac rienes, supei cancrum coronam, super leonem ficum Africanam, super virginem steriliculam super libram stateram in cuius altera parte scriblita erat, in altera placenta super scorpionem † pisciculum marinum, super sagittarium oclopetam, supei capricornum locustam marinam,† super pisces (...) duos mullos. in medio autem caespes cum herbis excisus favum sustinebat. (shrink)